Recursive definition - PDFSEARCH.IO - Document Search Engine

Recursive definition
Results: 18

#	Item
11	Introduction to: Computers & Programming: Recursion Adam Meyers New York University Add to Reading List Source URL: nlp.cs.nyu.edu Language: English - Date: 2011-04-27 10:23:03 Recursion Programming idioms Computability theory Mathematical logic Theoretical computer science Infinite loop Recursive definition Iteration Subroutine Computer programming Software engineering Computing
12	DISCUSSION NOTE THE UNUSUAL LOGIC OF HURKA’S RECURSIVE ACCOUNT BY AVRAM HILLER JOURNAL OF ETHICS & SOCIAL PHILOSOPHY Add to Reading List Source URL: www.jesp.org Language: English - Date: 2012-03-06 13:21:46 Social philosophy Mathematical logic Pleasure Definition Recursive definition Theoretical computer science Good and evil Pain Evil Mind Ethics Philosophy of mind
13	A Fixedpoint Approach to (Co)Inductive and (Co)Datatype Definitions∗ Lawrence C. Paulson [removed] Computer Laboratory, University of Cambridge, England 28 May 1998 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2003-04-29 07:49:49 Mathematical logic Computability theory Theoretical computer science Recursion Theory of computation Primitive recursive function Structural induction Recursive definition Coinduction Mathematics Computer programming Software engineering
14	L. Paulson A Fixedpoint Approach to (Co)Inductive Definitions A Fixedpoint Approach to (Co)Inductive Definitions Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2003-04-29 07:49:48 Applied mathematics Mathematical logic Programming idioms Theory of computation Computability theory Recursion Recursive definition Coinduction Lawrence Paulson Mathematics Computer programming Theoretical computer science
15	CHAPTER FOUR: THE NATURAL NUMBERS, INDUCTION, AND RECURSIVE DEFINITION Add to Reading List Source URL: www.ling.ohio-state.edu Language: English - Date: 2008-10-19 19:16:41 Ordinal numbers Proof theory Order theory Well-order Constructible universe Mathematical induction Surreal number Sylow theorems Mathematics Mathematical logic Logic
16	Tobias Nipkow Markus Wenzel Add to Reading List Source URL: isabelle.in.tum.de Language: English - Date: 2013-02-12 08:40:54 Mathematical proof Recursion Mathematical induction Algorithm Theorem Structural induction Natural deduction Automated theorem proving Recursive definition Mathematics Logic Mathematical logic
17	PDF Document Add to Reading List Source URL: www.cs.swan.ac.uk Language: English - Date: 2013-06-27 19:09:09 Computer programming Programming idioms Theoretical computer science Inductive reasoning Mathematical proofs Recursion Recursive definition Mathematical induction Intuitionistic type theory Mathematics Logic Mathematical logic
18	PDF Document Add to Reading List Source URL: www.cs.swan.ac.uk Language: English - Date: 2012-09-21 04:30:26 Knowledge Proof theory Inductive reasoning Mathematical proofs Theoretical computer science Mathematical induction Recursive definition Ordinal analysis Mathematical logic Mathematics Logic